# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
# SPDX-License-Identifier: MIT

HARNESS_FILE=Jobs_Describe_harness

# Limit thing name and job id maximums - values arbitrarily chosen
# to provide 100% coverage and to reduce unwindings
THINGNAME_MAX_LENGTH=6
EXCEED_THINGNAME_MAX_LENGTH=7
JOBID_MAX_LENGTH=6
EXCEED_JOBID_MAX_LENGTH=7

REMOVE_FUNCTION_BODY +=
# Use the largest of the above
UNWINDSET += isValidID.0:$(EXCEED_THINGNAME_MAX_LENGTH)
UNWINDSET += strnEq.0:$(EXCEED_JOBID_MAX_LENGTH)

# Use a stub in place of the original function.
PROOF_SOURCES += $(PROOF_STUB)/strnAppend.c
# Rename original function (used in Makefile-jobs.common)
SED_EXPR = s/JobsStatus_t strnAppend\b/&_/

include ../Makefile-jobs.common
PROOF_UID=Jobs_Describe
